On Weak and Strong Normalisations1
نویسنده
چکیده
With the help of continuations, we rst construct a transformation T which transforms every term t into a I-term T (t). Then we apply the conservation theorem in -calculus to show that t is strongly normalisable if T (t) has a -normal form. In this way, we succeed in establishing the equivalence between weak and strong normalisation theorems in various typed -calculi. This not only enhances the understanding between weak and strong normalisations, but also presents an elegant approach to proving strong normalisation theorems via the notion of weak normalisations.
منابع مشابه
Strong Topological Regularity and Weak Regularity of Banach Algebras
In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...
متن کاملPropranolol–induced Impairment of Contextual Fear Memory Reconsolidation in Rats: A Similar Effect on Weak and Strong Recent and Remote Memories
Introduction: Previous studies have demonstrated that the &beta-adrenergic receptor antagonist propranolol impairs fear memory reconsolidation in experimental animals. There are experimental parameters such as the age and the strength of memory that can interact with pharmacological manipulations of memory reconsolidation. In this study, we investigated the ability of the age and the strength o...
متن کاملA Comparison of the Metacognitive Knowledge of Weak and Strong Students in Problem Solving
This study sought to compare the metacognitive knowledge profile of weak and strong students in problem solving. For achieving this purpose, one hundred students of the second educational District of Tehran were chosen by cluster sampling. They responded individually to the questions of "the Metacognitive Questionnaire Interview" and in the next step their performance in the pendulum problem so...
متن کاملEVALUATION THE EFFECT OF STRONG COLUMN-WEAK BEAM RATIO ON SEISMIC PERFORMANCE OF OPTIMALLY DESIGNED STEEL MOMENT FRAMES
The present work is aimed at assessing the impact of strong column-weak beam (SCWB) criterion on seismic performance of optimally designed steel moment frames. To this end, different SCWB ratios are considered for steel special moment resisting frame (SMRF) structures and performance-based design optimization process is implemented with the aid of an efficient metaheuristic. The seismic collaps...
متن کاملWEAK AND STRONG DUALITY THEOREMS FOR FUZZY CONIC OPTIMIZATION PROBLEMS
The objective of this paper is to deal with the fuzzy conic program- ming problems. The aim here is to derive weak and strong duality theorems for a general fuzzy conic programming. Toward this end, The convexity-like concept of fuzzy mappings is introduced and then a speci c ordering cone is established based on the parameterized representation of fuzzy numbers. Un- der this setting, duality t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996